@inproceedings{DBLP:conf/programm/Reynolds74,
  author    = {John C. Reynolds},
  title     = {Towards a theory of type structure},
  booktitle = {Symposium on Programming},
  year      = {1974},
  pages     = {408-423},
  crossref  = {DBLP:conf/programm/1974},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/programm/1974,
  editor    = {Bernard Robinet},
  title     = {Programming Symposium, Proceedings Colloque sur la
Programmation,
               Paris, France, April 9-11, 1974},
  booktitle = {Symposium on Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {19},
  year      = {1974},
  isbn      = {3-540-06859-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/AbadiC96,
  author    = {Mart\'{\i}n Abadi and
               Luca Cardelli},
  title     = {A Theory of Primitive Objects: Untyped and First-Order Systems},
  journal   = {Inf. Comput.},
  volume    = {125},
  number    = {2},
  year      = {1996},
  pages     = {78-102},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/scp/AbadiC95,
  author    = {Mart\'{\i}n Abadi and
               Luca Cardelli},
  title     = {A Theory of Primitive Objects: Second-Order Systems},
  journal   = {Sci. Comput. Program.},
  volume    = {25},
  number    = {2-3},
  year      = {1995},
  pages     = {81-116},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/toplas/IgarashiPW01,
  author    = {Atsushi Igarashi and
               Benjamin C. Pierce and
               Philip Wadler},
  title     = {Featherweight {J}ava: a minimal core calculus for {J}ava and
               {GJ}},
  journal   = {ACM Trans. Program. Lang. Syst.},
  volume    = {23},
  number    = {3},
  year      = {2001},
  pages     = {396-450},
  ee        = {http://doi.acm.org/10.1145/503502.503505},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/Meijer07,
  author    = {Erik Meijer},
  title     = {Confessions of a used programming language salesman},
  booktitle = {OOPSLA},
  year      = {2007},
  pages     = {677-694},
  ee        = {http://doi.acm.org/10.1145/1297027.1297078},
  crossref  = {DBLP:conf/oopsla/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2007,
  editor    = {Richard P. Gabriel and
               David F. Bacon and
               Cristina Videira Lopes and
               Guy L. Steele Jr.},
  title     = {Proceedings of the 22nd Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and
Applications,
               OOPSLA 2007, October 21-25, 2007, Montreal, Quebec, Canada},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2007},
  isbn      = {978-1-59593-786-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/sigplan/HudakPWBFFGHHJKNPP92,
  author    = {Paul Hudak and
               Simon L. Peyton Jones and
               Philip Wadler and
               Brian Boutel and
               Jon Fairbairn and
               Joseph H. Fasel and
               Mar\'{\i}a M. Guzm{\'a}n and
               Kevin Hammond and
               John Hughes and
               Thomas Johnsson and
               Richard B. Kieburtz and
               Rishiyur S. Nikhil and
               Will Partain and
               John Peterson},
  title     = {Report on the Programming Language {H}askell, A Non-strict,
               Purely Functional Language},
  journal   = {SIGPLAN Notices},
  volume    = {27},
  number    = {5},
  year      = {1992},
  pages     = {R1-R164},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/programm/Reynolds74,
  author    = {John C. Reynolds},
  title     = {Towards a theory of type structure},
  booktitle = {Symposium on Programming},
  year      = {1974},
  pages     = {408-423},
  crossref  = {DBLP:conf/programm/1974},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/programm/1974,
  editor    = {Bernard Robinet},
  title     = {Programming Symposium, Proceedings Colloque sur la
Programmation,
               Paris, France, April 9-11, 1974},
  booktitle = {Symposium on Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {19},
  year      = {1974},
  isbn      = {3-540-06859-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/BruceMM90,
  author    = {Kim B. Bruce and
               Albert R. Meyer and
               John C. Mitchell},
  title     = {The Semantics of Second-Order Lambda Calculus},
  journal   = {Inf. Comput.},
  volume    = {85},
  number    = {1},
  year      = {1990},
  pages     = {76-134},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/mscs/Wadler92,
  author    = {Philip Wadler},
  title     = {Comprehending Monads},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {2},
  number    = {4},
  year      = {1992},
  pages     = {461-493},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/aplas/CaretteKS07,
  author    = {Jacques Carette and
               Oleg Kiselyov and
               Chung-chieh Shan},
  title     = {Finally Tagless, Partially Evaluated},
  booktitle = {APLAS},
  year      = {2007},
  pages     = {222-238},
  ee        = {http://dx.doi.org/10.1007/978-3-540-76637-7_15},
  crossref  = {DBLP:conf/aplas/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/aplas/2007,
  editor    = {Zhong Shao},
  title     = {Programming Languages and Systems, 5th Asian Symposium,
               APLAS 2007, Singapore, November 29-December 1, 2007,
Proceedings},
  booktitle = {APLAS},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4807},
  year      = {2007},
  isbn      = {978-3-540-76636-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BiermanMS05,
  author    = {Gavin M. Bierman and
               Erik Meijer and
               Wolfram Schulte},
  title     = {The Essence of Data Access in {Comega}},
  booktitle = {ECOOP},
  year      = {2005},
  pages     = {287-311},
  ee        = {http://dx.doi.org/10.1007/11531142_13},
  crossref  = {DBLP:conf/ecoop/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2005,
  editor    = {Andrew P. Black},
  title     = {ECOOP 2005 - Object-Oriented Programming, 19th European
               Conference, Glasgow, UK, July 25-29, 2005, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3586},
  year      = {2005},
  isbn      = {3-540-27992-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/sigmod/MeijerBB06,
  author    = {Erik Meijer and
               Brian Beckman and
               Gavin M. Bierman},
  title     = {LINQ: reconciling object, relations and {XML} in the {.NET}
               framework},
  booktitle = {SIGMOD Conference},
  year      = {2006},
  pages     = {706},
  ee        = {http://doi.acm.org/10.1145/1142473.1142552},
  crossref  = {DBLP:conf/sigmod/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/sigmod/2006,
  editor    = {Surajit Chaudhuri and
               Vagelis Hristidis and
               Neoklis Polyzotis},
  title     = {Proceedings of the ACM SIGMOD International Conference on
               Management of Data, Chicago, Illinois, USA, June 27-29,
               2006},
  booktitle = {SIGMOD Conference},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-256-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BruceSG95,
  author    = {Kim B. Bruce and
               Angela Schuett and
               Robert van Gent},
  title     = {{PolyTOIL}: A Type-Safe Polymorphic Object-Oriented Language},
  booktitle = {ECOOP},
  year      = {1995},
  pages     = {27-51},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/0952/
09520027.htm},
  crossref  = {DBLP:conf/ecoop/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/1995,
  editor    = {Walter G. Olthoff},
  title     = {ECOOP'95 - Object-Oriented Programming, 9th European Conference,
               {\AA}arhus, Denmark, August 7-11, 1995, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {952},
  year      = {1995},
  isbn      = {3-540-60160-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/Meijer06,
  author    = {Erik Meijer},
  title     = {There is no impedance mismatch: (language integrated query
               in {V}isual {B}asic 9)},
  booktitle = {OOPSLA Companion},
  year      = {2006},
  pages     = {710-711},
  ee        = {http://doi.acm.org/10.1145/1176617.1176686},
  crossref  = {DBLP:conf/oopsla/2006c},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2006c,
  editor    = {Peri L. Tarr and
               William R. Cook},
  title     = {Companion to the 21th Annual ACM SIGPLAN Conference on Object-
Oriented
               Programming, Systems, Languages, and Applications, OOPSLA
               2006, October 22-26, 2006, Portland, Oregon, USA},
  booktitle = {OOPSLA Companion},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-491-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/EmirKRY06,
  author    = {Burak Emir and
               Andrew Kennedy and
               Claudio V. Russo and
               Dachuan Yu},
  title     = {Variance and Generalized Constraints for {C}$^{\mbox{\#}}$
Generics},
  booktitle = {ECOOP},
  year      = {2006},
  pages     = {279-303},
  ee        = {http://dx.doi.org/10.1007/11785477_18},
  crossref  = {DBLP:conf/ecoop/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2006,
  editor    = {Dave Thomas},
  title     = {ECOOP 2006 - Object-Oriented Programming, 20th European
               Conference, Nantes, France, July 3-7, 2006, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4067},
  year      = {2006},
  isbn      = {3-540-35726-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/WadlerB89,
  author    = {Philip Wadler and
               Stephen Blott},
  title     = {How to Make ad-hoc Polymorphism Less ad-hoc},
  booktitle = {POPL},
  year      = {1989},
  pages     = {60-76},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/WehrLT07,
  author    = {Stefan Wehr and
               Ralf L{\"a}mmel and
               Peter Thiemann},
  title     = {{JavaGI} : Generalized Interfaces for {J}ava},
  booktitle = {ECOOP},
  year      = {2007},
  pages     = {347-372},
  ee        = {http://dx.doi.org/10.1007/978-3-540-73589-2_17},
  crossref  = {DBLP:conf/ecoop/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2007,
  editor    = {Erik Ernst},
  title     = {ECOOP 2007 - Object-Oriented Programming, 21st European
               Conference, Berlin, Germany, July 30 - August 3, 2007,
Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4609},
  year      = {2007},
  isbn      = {978-3-540-73588-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/afp/Wadler95,
  author    = {Philip Wadler},
  title     = {Monads for Functional Programming},
  booktitle = {Advanced Functional Programming},
  year      = {1995},
  pages     = {24-52},
  crossref  = {DBLP:conf/afp/1995},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/afp/1995,
  editor    = {Johan Jeuring and
               Erik Meijer},
  title     = {Advanced Functional Programming, First International Spring
               School on Advanced Functional Programming Techniques, B
{\aa}stad,
               Sweden, May 24-30, 1995, Tutorial Text},
  booktitle = {Advanced Functional Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {925},
  year      = {1995},
  isbn      = {3-540-59451-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/ChakravartyKJM05,
  author    = {Manuel M. T. Chakravarty and
               Gabriele Keller and
               Simon L. Peyton Jones and
               Simon Marlow},
  title     = {Associated types with class},
  booktitle = {POPL},
  year      = {2005},
  pages     = {1-13},
  ee        = {http://doi.acm.org/10.1145/1040305.1040306},
  crossref  = {DBLP:conf/popl/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/popl/2005,
  editor    = {Jens Palsberg and
               Mart\'{\i}n Abadi},
  title     = {Proceedings of the 32nd ACM SIGPLAN-SIGACT Symposium on
               Principles of Programming Languages, POPL 2005, Long Beach,
               California, USA, January 12-14, 2005},
  booktitle = {POPL},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-58113-830-X},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/BruceOW98,
  author    = {Kim B. Bruce and
               Martin Odersky and
               Philip Wadler},
  title     = {A Statically Safe Alternative to Virtual Types},
  booktitle = {ECOOP},
  year      = {1998},
  pages     = {523-549},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1445/
14450523.htm},
  crossref  = {DBLP:conf/ecoop/1998},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/1998,
  editor    = {Eric Jul},
  title     = {ECCOP'98 - Object-Oriented Programming, 12th European
Conference,
               Brussels, Belgium, July 20-24, 1998, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1445},
  year      = {1998},
  isbn      = {3-540-64737-6},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/ThorupT99,
  author    = {Kresten Krab Thorup and
               Mads Torgersen},
  title     = {Unifying Genericity - Combining the Benefits of Virtual
               Types and Parameterized Classes},
  booktitle = {ECOOP},
  year      = {1999},
  pages     = {186-204},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/1628/
16280186.htm},
  crossref  = {DBLP:conf/ecoop/1999},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/1999,
  editor    = {Rachid Guerraoui},
  title     = {ECCOP'99 - Object-Oriented Programming, 13th European
Conference,
               Lisbon, Portugal, June 14-18, 1999, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {1628},
  year      = {1999},
  isbn      = {3-540-66156-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/Ernst01,
  author    = {Erik Ernst},
  title     = {Family Polymorphism},
  booktitle = {ECOOP},
  year      = {2001},
  pages     = {303-326},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2072/
20720303.htm},
  crossref  = {DBLP:conf/ecoop/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2001,
  editor    = {J{\o}rgen Lindskov Knudsen},
  title     = {ECOOP 2001 - Object-Oriented Programming, 15th European
               Conference, Budapest, Hungary, June 18-22, 2001, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2072},
  year      = {2001},
  isbn      = {3-540-42206-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/OderskyCRZ03,
  author    = {Martin Odersky and
               Vincent Cremet and
               Christine R{\"o}ckl and
               Matthias Zenger},
  title     = {A Nominal Theory of Objects with Dependent Types},
  booktitle = {ECOOP},
  year      = {2003},
  pages     = {201-224},
  ee        = {http://springerlink.metapress.com/openurl.asp?genre=article
{\&}issn=0302-9743{\&}volume=2743{\&}spage=201},
  crossref  = {DBLP:conf/ecoop/2003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2003,
  editor    = {Luca Cardelli},
  title     = {ECOOP 2003 - Object-Oriented Programming, 17th European
               Conference, Darmstadt, Germany, July 21-25, 2003, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2743},
  year      = {2003},
  isbn      = {3-540-40531-3},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/edbt/Cardelli88,
  author    = {Luca Cardelli},
  title     = {Types for Data-Oriented Languages},
  booktitle = {EDBT},
  year      = {1988},
  pages     = {1-15},
  ee        = {db/conf/edbt/Cardelli88.html},
  crossref  = {DBLP:conf/edbt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/edbt/88,
  editor    = {Joachim W. Schmidt and
               Stefano Ceri and
               Michele Missikoff},
  title     = {Advances in Database Technology - EDBT'88, Proceedings of
               the International Conference on Extending Database Technology,
               Venice, Italy, March 14-18, 1988},
  booktitle = {EDBT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {303},
  year      = {1988},
  isbn      = {3-540-19074-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/CompagnoniG03,
  author    = {Adriana B. Compagnoni and
               Healfdene Goguen},
  title     = {Typed operational semantics for higher-order subtyping},
  journal   = {Inf. Comput.},
  volume    = {184},
  number    = {2},
  year      = {2003},
  pages     = {242-297},
  ee        = {http://dx.doi.org/10.1016/S0890-5401(03)00062-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/CardelliMMS94,
  author    = {Luca Cardelli and
               Simone Martini and
               John C. Mitchell and
               Andre Scedrov},
  title     = {An Extension of {S}ystem {F} with Subtyping},
  journal   = {Inf. Comput.},
  volume    = {109},
  number    = {1/2},
  year      = {1994},
  pages     = {4-56},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/afp/Augustsson98,
  author    = {Lennart Augustsson},
  title     = {Cayenne - A Language with Dependent Types},
  booktitle = {Advanced Functional Programming},
  year      = {1998},
  pages     = {240-267},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/afp/McBride04,
  author    = {Conor McBride},
  title     = {Epigram: Practical Programming with Dependent Types},
  booktitle = {Advanced Functional Programming},
  year      = {2004},
  pages     = {130-170},
  ee        = {http://dx.doi.org/10.1007/11546382_3},
  crossref  = {DBLP:conf/afp/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/afp/2004,
  editor    = {Varmo Vene and
               Tarmo Uustalu},
  title     = {Advanced Functional Programming, 5th International School,
               AFP 2004, Tartu, Estonia, August 14-21, 2004, Revised Lectures},
  booktitle = {Advanced Functional Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {3622},
  year      = {2005},
  isbn      = {3-540-28540-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/sigplan/HudakPWBFFGHHJKNPP92,
  author    = {Paul Hudak and
               Simon L. Peyton Jones and
               Philip Wadler and
               Brian Boutel and
               Jon Fairbairn and
               Joseph H. Fasel and
               Mar\'{\i}a M. Guzm{\'a}n and
               Kevin Hammond and
               John Hughes and
               Thomas Johnsson and
               Richard B. Kieburtz and
               Rishiyur S. Nikhil and
               Will Partain and
               John Peterson},
  title     = {Report on the Programming Language {H}askell, A Non-strict,
               Purely Functional Language},
  journal   = {SIGPLAN Notices},
  volume    = {27},
  number    = {5},
  year      = {1992},
  pages     = {R1-R164},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/EmirKRY06,
  author    = {Burak Emir and
               Andrew Kennedy and
               Claudio V. Russo and
               Dachuan Yu},
  title     = {Variance and Generalized Constraints for {C$^{\mbox{\#}}}$
Generics},
  booktitle = {ECOOP},
  year      = {2006},
  pages     = {279-303},
  ee        = {http://dx.doi.org/10.1007/11785477_18},
  crossref  = {DBLP:conf/ecoop/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2006,
  editor    = {Dave Thomas},
  title     = {ECOOP 2006 - Object-Oriented Programming, 20th European
               Conference, Nantes, France, July 3-7, 2006, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {4067},
  year      = {2006},
  isbn      = {3-540-35726-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/programm/Reynolds74,
  author    = {John C. Reynolds},
  title     = {Towards a theory of type structure},
  booktitle = {Symposium on Programming},
  year      = {1974},
  pages     = {408-423},
  crossref  = {DBLP:conf/programm/1974},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/programm/1974,
  editor    = {Bernard Robinet},
  title     = {Programming Symposium, Proceedings Colloque sur la
Programmation,
               Paris, France, April 9-11, 1974},
  booktitle = {Symposium on Programming},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {19},
  year      = {1974},
  isbn      = {3-540-06859-7},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/BruceMM90,
  author    = {Kim B. Bruce and
               Albert R. Meyer and
               John C. Mitchell},
  title     = {The Semantics of Second-Order Lambda Calculus},
  journal   = {Inf. Comput.},
  volume    = {85},
  number    = {1},
  year      = {1990},
  pages     = {76-134},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/sigplan/HudakPWBFFGHHJKNPP92,
  author    = {Paul Hudak and
               Simon L. Peyton Jones and
               Philip Wadler and
               Brian Boutel and
               Jon Fairbairn and
               Joseph H. Fasel and
               Mar\'{\i}a M. Guzm{\'a}n and
               Kevin Hammond and
               John Hughes and
               Thomas Johnsson and
               Richard B. Kieburtz and
               Rishiyur S. Nikhil and
               Will Partain and
               John Peterson},
  title     = {Report on the Programming Language {H}askell, A Non-strict,
               Purely Functional Language},
  journal   = {SIGPLAN Notices},
  volume    = {27},
  number    = {5},
  year      = {1992},
  pages     = {R1-R164},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/hopl/HudakHJW07,
  author    = {Paul Hudak and
               John Hughes and
               Simon L. Peyton Jones and
               Philip Wadler},
  title     = {A history of {H}askell: being lazy with class},
  booktitle = {HOPL},
  year      = {2007},
  pages     = {1-55},
  ee        = {http://doi.acm.org/10.1145/1238844.1238856},
  crossref  = {DBLP:conf/hopl/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/hopl/2007,
  editor    = {Barbara G. Ryder and
               Brent Hailpern},
  title     = {Proceedings of the Third ACM SIGPLAN History of Programming
               Languages Conference (HOPL-III), San Diego, California,
               USA, 9-10 June 2007},
  booktitle = {HOPL},
  publisher = {ACM},
  year      = {2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/WadlerB89,
  author    = {Philip Wadler and
               Stephen Blott},
  title     = {How to Make ad-hoc Polymorphism Less ad-hoc},
  booktitle = {POPL},
  year      = {1989},
  pages     = {60-76},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/edbt/Cardelli88,
  author    = {Luca Cardelli},
  title     = {Types for Data-Oriented Languages},
  booktitle = {EDBT},
  year      = {1988},
  pages     = {1-15},
  ee        = {db/conf/edbt/Cardelli88.html},
  crossref  = {DBLP:conf/edbt/88},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/edbt/88,
  editor    = {Joachim W. Schmidt and
               Stefano Ceri and
               Michele Missikoff},
  title     = {Advances in Database Technology - EDBT'88, Proceedings of
               the International Conference on Extending Database Technology,
               Venice, Italy, March 14-18, 1988},
  booktitle = {EDBT},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {303},
  year      = {1988},
  isbn      = {3-540-19074-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/tcs/PierceS97,
  author    = {Benjamin C. Pierce and
               Martin Steffen},
  title     = {Higher-Order Subtyping},
  journal   = {Theor. Comput. Sci.},
  volume    = {176},
  number    = {1-2},
  year      = {1997},
  pages     = {235-282},
  ee        = {http://dx.doi.org/10.1016/S0304-3975(96)00096-5},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@article{DBLP:journals/iandc/CompagnoniG03,
  author    = {Adriana B. Compagnoni and
               Healfdene Goguen},
  title     = {Typed operational semantics for higher-order subtyping},
  journal   = {Inf. Comput.},
  volume    = {184},
  number    = {2},
  year      = {2003},
  pages     = {242-297},
  ee        = {http://dx.doi.org/10.1016/S0890-5401(03)00062-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/popl/Cardelli88,
  author    = {Luca Cardelli},
  title     = {Structural Subtyping and the Notion of Power Type},
  booktitle = {POPL},
  year      = {1988},
  pages     = {70-79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/GregorJSSRL06,
  author    = {Douglas Gregor and
               Jaakko J{\"a}rvi and
               Jeremy G. Siek and
               Bjarne Stroustrup and
               Gabriel Dos Reis and
               Andrew Lumsdaine},
  title     = {Concepts: linguistic support for generic programming in
               {C++}},
  booktitle = {OOPSLA},
  year      = {2006},
  pages     = {291-310},
  ee        = {http://doi.acm.org/10.1145/1167473.1167499},
  crossref  = {DBLP:conf/oopsla/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2006,
  editor    = {Peri L. Tarr and
               William R. Cook},
  title     = {Proceedings of the 21th Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and
Applications,
               OOPSLA 2006, October 22-26, 2006, Portland, Oregon, USA},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2006},
  isbn      = {1-59593-348-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@incollection{DBLP:books/mit/shriverW87/KristensenMMN87,
  author    = {Bent Bruun Kristensen and
               Ole Lehrmann Madsen and
               Birger M{\o}ller-Pedersen and
               Kristen Nygaard},
  title     = {The {BETA} Programming Language},
  booktitle = {Research Directions in Object-Oriented Programming},
  year      = {1987},
  pages     = {7-48},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/MadsenM89,
  author    = {Ole Lehrmann Madsen and
               Birger M{\o}ller-Pedersen},
  title     = {Virtual Classes: A Powerful Mechanism in Object-Oriented
               Programming},
  booktitle = {OOPSLA},
  year      = {1989},
  pages     = {397-406},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/oopsla/OderskyZ05,
  author    = {Martin Odersky and
               Matthias Zenger},
  title     = {Scalable component abstractions},
  booktitle = {OOPSLA},
  year      = {2005},
  pages     = {41-57},
  ee        = {http://doi.acm.org/10.1145/1094811.1094815},
  crossref  = {DBLP:conf/oopsla/2005},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/oopsla/2005,
  editor    = {Ralph Johnson and
               Richard P. Gabriel},
  title     = {Proceedings of the 20th Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and
Applications,
               OOPSLA 2005, October 16-20, 2005, San Diego, CA, USA},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2005},
  isbn      = {1-59593-031-0},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@inproceedings{DBLP:conf/ecoop/Ernst01,
  author    = {Erik Ernst},
  title     = {Family Polymorphism},
  booktitle = {ECOOP},
  year      = {2001},
  pages     = {303-326},
  ee        = {http://link.springer.de/link/service/series/0558/bibs/2072/
20720303.htm},
  crossref  = {DBLP:conf/ecoop/2001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ecoop/2001,
  editor    = {J{\o}rgen Lindskov Knudsen},
  title     = {ECOOP 2001 - Object-Oriented Programming, 15th European
               Conference, Budapest, Hungary, June 18-22, 2001, Proceedings},
  booktitle = {ECOOP},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {2072},
  year      = {2001},
  isbn      = {3-540-42206-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{DBLP:journals/jfp/Jones95,
  author    = {Mark P. Jones},
  title     = {A System of Constructor Classes: Overloading and Implicit
               Higher-Order Polymorphism},
  journal   = {J. Funct. Program.},
  volume    = {5},
  number    = {1},
  year      = {1995},
  pages     = {1-35},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}